Перевод: со всех языков на русский

с русского на все языки

automatic program synthesis

См. также в других словарях:

  • Program synthesis — comprises a range of technologies for the automatic generation of executable computer programs from high level specifications of their behaviour. In contrast to compilation, the specifications are usually non algorithmic.The idea originated in… …   Wikipedia

  • Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these …   Wikipedia

  • Speech synthesis — Stephen Hawking is one of the most famous people using speech synthesis to communicate Speech synthesis is the artificial production of human speech. A computer system used for this purpose is called a speech synthesizer, and can be implemented… …   Wikipedia

  • Software Automatic Mouth — Software Automatic Mouth, or SAM, was a speech synthesis program for the early personal computers; developed and sold by Don’t Ask Software and a distant ancestor of PlainTalk found in Mac OS 9. The program was available for Apple computers… …   Wikipedia

  • Sinewave synthesis — is a technique for synthesizing speech by replacing the formants (main bands of energy) with pure tone whistles. The first sinewave synthesis program ( SWS ) for the automatic creation of stimuli for perceptual experiments was developed by Philip …   Wikipedia

  • Robert Floyd — Infobox Scientist name = Robert W Floyd image width = caption = birth date = birth date|1936|6|8|mf=y birth place = New York death date = death date and age|2001|9|25|1936|6|8|mf=y death place = residence = citizenship = nationality = American… …   Wikipedia

  • Richard Waldinger — Richard J. Waldinger is a computer science researcher at SRI Artificial Intelligence Laboratory (where he has worked since 1969) whose interests focus on the application of automated deductive reasoning to problems in software engineering and… …   Wikipedia

  • Data transformation — Data transformation/Source transformation Concepts metadata · data mapping data transformation · model transf …   Wikipedia

  • List of software engineering topics — This list complements the software engineering article, giving more details and examples. For an alphabetical listing of topics, please see List of software engineering topics (alphabetical).Influence on societySoftware engineers affect society… …   Wikipedia

  • Outline of software engineering — See also: Index of software engineering articles The following outline is provided as an overview of and topical guide to software engineering: Software engineering – application of a systematic, disciplined, quantifiable approach to the… …   Wikipedia

  • photography, technology of — Introduction       equipment, techniques, and processes used in the production of photographs.  The most widely used photographic process is the black and white negative–positive system (Figure 1 >). In the camera the lens projects an image of… …   Universalium

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»